Discovering physical laws with parallel symbolic enumeration
nature.com·1d
🔍ML Language
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
🧮Combinator Calculus
Flag this post
Question from notation in "Hacker's Delight" by Warren
reddit.com·6h·
Discuss: r/C_Programming
∫Mathematical DSLs
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·10h·
Discuss: Hacker News
🧩Constraint Solvers
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·9h·
Discuss: Hacker News
🗂️Term Indexing
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·9h·
Discuss: Hacker News
🔶Lattice Theory
Flag this post
Math And Programming - Perfectly Matched
i-programmer.info·1d
📖Literate Programming
Flag this post
10000
jro.sg·18h
📦Executable Size
Flag this post
<p>**Abstract:** This paper introduces a novel approach to constructing minimal polynomials for matrices within numerical linear algebra using reinforcement lea...
freederia.com·23h
🧩Constraint Solvers
Flag this post
The Architect’s Mindset: Structuring Data for Robust AI Pipelines
dev.to·2d·
Discuss: DEV
🪢Rope Data Structures
Flag this post
If you're not using this underrated Apple Notes feature, you're missing out
makeuseof.com·11h
📝Editor Buffers
Flag this post
The Machine Learning Roadmap
github.com·8h·
Discuss: Hacker News
🌱Minimal ML
Flag this post
Meditations on geometric packing
shvbsle.in·21h
🌊Effect Rows
Flag this post
Infix Versus Prefix Operators
irreal.org·15h
🎭Delimited Continuations
Flag this post
New research reveals the cognitive hurdles created by our number systems
psypost.org·1d·
Discuss: Hacker News
🔬Nanopasses
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔶Lattice Theory
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
📈Monotonic Logic
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·21h·
Discuss: Substack
📚Forth Compilers
Flag this post
Is Matrix Multiplication Ugly?
mathenchant.wordpress.com·1d·
Discuss: Hacker News
💫Effect Systems
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·23h
⚖️Inference Rules
Flag this post